Extending the Abstraction Capability of BPMN by Introducing Vertical Abstraction
نویسندگان
چکیده
منابع مشابه
Extending Explanation-Based Generalization by Abstraction Operators
goal( Goal ). The procedure write clause( Clause' ) extracts residual constraints over relevant variables, adds them to the body of the abstracted clause, and outputs the clause (see next section). A clause is abstracted by rst unfolding de nitions of non-operational predicates, abstracting the remaining atoms in the body, and nally abstracting the head of the clause. For brevity, we omit recur...
متن کاملthe plotinus’ abstraction theology
the article presents explanation and analysis of plotinus’ abstraction theology. in this theology he tries to get negative knowledge of the god. the meaning of the negation is neither of pure negation or privation but it is based on abstraction which purifies and abstracts one concept from else to attain the exact and true meaning of it. accordingly, this method of theology is the same as the r...
متن کاملReasoning by Analogy via Abstraction Reasoning by Analogy via Abstraction
theoremsnametheoremlenabs ag+ ag ag& ag"lemmasass ]x ] (y ] z) = (x ] y) ] z150.71 0.65 0.65 0.78com ]x ] y = y ] x230.92 0.79 0.3{lemc ]com2 ] x ] (y ] z) = y ] (x ] z)150.71 0.65{{lemc ]lemc ] ? ] (y ] x) = y ] ( ? ] x)130.76 0.48 0.40{even ]e(x) e(x ] y)290.82 1.00{{dbl...
متن کاملExtending the Sparkle Core language with object abstraction
Sparkle is a theorem prover specially constructed for the functional programming language Clean. In a pure functional language like Clean the values of the functional variables are constants; variables of functional programs do not change in time. Hence it seems that temporality has no meaning in functional programs. However, in certain cases (e.g. in interactive or distributed programs, or in ...
متن کاملIntroducing Layers of Abstraction to Semantic Web Programming
Developers of ontologies and Semantic Web applications have to decide on languages and environments for developing the ontology schema, asserting statements, specifying and executing queries, specifying rules, and inferencing. Such languages and environments are not well-integrated and lack common abstraction mechanisms. This paper presents a concept framework to alleviate those problems. This ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartD
سال: 2009
ISSN: 1598-2866
DOI: 10.3745/kipstd.2009.16-d.2.223